Theoremproving machine

[计] 定理证明机

🧩 词语组成解析

theoremproving

[计] 定理证明

machine [mə'ʃin]

n. 机器，机械;机械般的人;核心; vt. 用机器制造，用机器加工; vi. 被机器切削;

mach机器+ine表名词 → 机器

🗣️ 情景例句

We'll call in a couple of days.

我们两三天后打电话。

Observation is the best teacher.

观察为良师。

Did you have a good journey?

你旅途愉快吗？

更多情景英语 ›

🔤 更多 T 开头的单词

tankage

tautomerizing

Teutonic deity

third party motor insurance

tiddly-winks

tobacco road

train-loads

trichogyne

全部 T 开头单词 ›